Machine-Assisted Election Auditing
نویسنده
چکیده
Election audit procedures usually rely on precinctbased recounts, in which workers manually review all paper ballots from selected polling places, but these recounts can be expensive due to the labor required. This paper proposes an alternative audit strategy that allows machines to perform most of the work. Precincts are recounted using recounting machines, and their output is manually audited using efficient ballot sampling techniques. This strategy can achieve equal or greater confidence than precinct-based auditing at a significantly lower cost while protecting voter privacy better than previous ballot-based auditing methods. We show how to determine which ballots to audit against the recounting machines’ records and compare this new approach to precinct-based audits in the context of Virginia’s November 2006 election. Far fewer ballots need to be audited by hand using our approach. We also explore extensions to these techniques, such as varying individual ballots’ audit probabilities based on the votes they contain, that promise further efficiency gains.
منابع مشابه
Automating Voting Terminal Event Log Analysis
In the interest of auditing election procedures, certain electronic voting technologies provide monitoring capabilities that record select actions undertaken by election officials before, during, and after an election process, as well as the conditions present in an electronic voting terminal as the result of its interactions with its environment. In this paper we report on an automated auditin...
متن کاملCasting Votes in the Auditorium
In elections employing electronic voting machines, we have observed that poor procedures, equipment failures, and honest mistakes pose a real threat to the accuracy of the final tally. The event logs kept by these machines can give auditors clues as to the causes of anomalies and inconsistencies; however, each voting machine is trusted to keep its own audit and ballot data, making the record un...
متن کاملSoftware Support for Software-Independent Auditing
Electronic voting machines have the potential to make the election process more efficient, but concerns over their reliability and security could undermine confidence in election results. The most effective way of verifying election results is by auditing physical copies of the ballots that have been verified by the voter. Since manually viewing every ballot is unrealistic, a variety of algorit...
متن کاملVIGRE Final Report: Election Auditing Simulations of Risk-Limiting Auditing Techniques and the Effects of Reducing Batch Size on the 2008 California House of Representatives Elections
متن کامل
Elections Are Conceptually Trivial
After everyone has voted, the votes in each ballot position are counted, and the winner of each race is declared. Barring the use of some form of ranked-preference ballot, the algorithms required are hardly more than mere summations. What makes elections difficult is the problem of performing this summation over a canvassing hierarchy spanning many polling places and local election offices, whe...
متن کامل